منابع مشابه
Alternation on Cellular Automata
In this paper we consider several notions of alternation in cellular automata: non-uniform, uniform and weak alternation. We study relations among these notions and with alternating Turing machines. It is proved that the languages accepted in polynomial time by alternating Turing machines are those accepted by alternating cellular automata in polynomial time for all the proposed alternating cel...
متن کاملOn Non-looping Term Rewriting
Proving non-termination is important for instance if one wants to decide termination for given TRSs. Although the usual method is to find looping reduction sequences, there are non-looping infinite reduction sequences. We find some new interesting non-looping examples and propose new definitions of inner-looping sequence and normal sequence to classify them. We also show the undecidability of t...
متن کاملA note on grammars with regular restrictions
A context-free e-free grammar with regular restrictions is a context-free £-free grammar G over which a context-free rule r or G is applicable on a string x only if x e y(r) where y(r) is a regular set. It is known from [1] that the context-free £-free grammars with regular restrictions are as powerful as Chomsky's grammars of the type 0. It is shown, that the same result holds for the grammars...
متن کاملon some bayesian statistical models in actuarial science with emphasis on claim count
چکیده ندارد.
15 صفحه اولSocial contagions with communication channels alternation on multiplex networks
Internet communication channels, e.g., Facebook, Twitter, and email, are multiplex networks that facilitate interaction and information-sharing among individuals. During brief time periods users often use a single communication channel, and communication channel alteration (CCA) occurs, which means that our understanding of the dynamics of social contagions must be redefined. We propose a non-M...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Information and Control
سال: 1985
ISSN: 0019-9958
DOI: 10.1016/s0019-9958(85)80023-1